xen: arm: add default kernel_start in xenctx
authorBamvor Jian Zhang <bjzhang@suse.com>
Mon, 4 Nov 2013 08:01:26 +0000 (16:01 +0800)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 4 Nov 2013 17:35:05 +0000 (17:35 +0000)
commitd641f428533e0d1232c1d1646263a8f5f430ca50
treee46565586a2c00c7269e6dbd71c83462bf988647
parent785e2c1f5d45225a43ea0d46702fc09d508e04bd
xen: arm: add default kernel_start in xenctx

Signed-off-by: Bamvor Jian Zhang <bjzhang@suse.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/xentrace/xenctx.c